{ a : { b : Kind → Kind } }
